computer algebra system
数式処理システム
SAS : symbolic algebra system
List of computer algebra systems
Scientific computation
Statistical package
automated theorem proving
Algebraic modeling language
Constraint-logic programming
satisfiability modulo theories
/suto3/google.iconcomputer algebra system
image computer algebra system
define computer algebra system
wikipedia computer algebra system
weblio computer algebra system
kotobank computer algebra system
jisho computer algebra system